Áp dụng bất đẳng thức Cauchy-Schwarz ta có:

\(\sqrt{\left(a+b\right)\left(a+c\right)}\ge\sqrt{a}.\sqrt{a}+\sqrt{b}.\sqrt{c}\)

\(\Leftrightarrow\sqrt{\left(a+b\right)\left(a+c\right)}\ge a+\sqrt{bc}\)

Do đó \(\sqrt{\frac{bc}{\left(c+a\right)\left(a+b\right)}}=\frac{\sqrt{bc\left(c+a\right)\left(a+b\right)}}{\left(c+a\right)\left(a+b\right)}\ge\sqrt{abc}\frac{\sqrt{a}}{\left(c+a\right)\left(c+b\right)}+\frac{bc}{\left(c+a\right)\left(c+b\right)}\left(1\right)\)

Chứng minh tương tự ta được: 

\(\hept{\begin{cases}\sqrt{\frac{bc}{\left(c+b\right)\left(a+b\right)}}=\frac{\sqrt{bc\left(c+b\right)\left(a+b\right)}}{\left(c+b\right)\left(a+b\right)}\ge\sqrt{abc}\frac{\sqrt{b}}{\left(c+b\right)\left(a+b\right)}+\frac{ac}{\left(c+b\right)\left(a+b\right)}\left(2\right)\\\sqrt{\frac{ca}{\left(c+a\right)\left(a+b\right)}}=\frac{\sqrt{ca\left(c+a\right)\left(a+b\right)}}{\left(c+a\right)\left(a+b\right)}\ge\sqrt{abc}\frac{\sqrt{c}}{\left(c+a\right)\left(a+b\right)}+\frac{ab}{\left(a+c\right)\left(a+b\right)}\left(3\right)\end{cases}}\)

\(\Rightarrow\sqrt{\frac{bc}{\left(c+a\right)\left(a+b\right)}}+\sqrt{\frac{ca}{\left(c+b\right)\left(a+b\right)}}+\sqrt{\frac{ab}{\left(a+c\right)\left(b+c\right)}}\ge\)

\(\sqrt{abc}\left(\frac{\sqrt{a}}{\left(a+c\right)\left(a+b\right)}+\frac{\sqrt{b}}{\left(c+b\right)\left(a+b\right)}+\frac{\sqrt{c}}{\left(c+b\right)\left(a+c\right)}\right)+\)\(\frac{bc}{\left(a+c\right)\left(a+b\right)}+\frac{ac}{\left(c+b\right)\left(a+b\right)}+\frac{ab}{\left(c+b\right)\left(a+c\right)}\left(4\right)\)

Ta lại có: \(\frac{bc}{\left(a+c\right)\left(a+b\right)}+\frac{ac}{\left(c+b\right)\left(a+b\right)}+\frac{ab}{\left(c+b\right)\left(a+c\right)}+\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)

\(=\frac{bc\left(b+c\right)+ac\left(a+c\right)+ab\left(a+b\right)+2abc}{\left(a+c\right)\left(b+c\right)\left(a+b\right)}\)

\(=\frac{bc\left(a+b+c\right)+ca\left(a+b+c\right)+ab\left(a+b\right)}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}=\frac{c\left(a+b+c\right)\left(b+a\right)+ab\left(a+b\right)}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)

\(=\frac{\left(a+b\right)\left[c\left(a+c\right)+b\left(a+c\right)\right]}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}=\frac{\left(a+b\right)\left(c+b\right)\left(a+c\right)}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}=1\)

\(\left(4\right)\Leftrightarrow\sqrt{\frac{bc}{\left(c+a\right)\left(a+b\right)}}+\sqrt{\frac{ca}{\left(c+b\right)\left(a+b\right)}}+\sqrt{\frac{ab}{\left(a+c\right)\left(b+c\right)}}\)\(\ge\sqrt{abc}\left(\frac{\sqrt{a}}{\left(c+a\right)\left(a+b\right)}+\frac{\sqrt{b}}{\left(c+b\right)\left(a+b\right)}+\frac{\sqrt{c}}{\left(c+b\right)\left(a+c\right)}\right)+1-\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)

Do đó ta cần chứng minh \(\sqrt{abc}\left(\frac{\sqrt{a}}{\left(c+a\right)\left(a+b\right)}+\frac{\sqrt{b}}{\left(c+b\right)\left(a+b\right)}+\frac{\sqrt{c}}{\left(c+b\right)\left(a+c\right)}\right)+1-\frac{2abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)\(\ge1+\frac{4abc}{\left(a+b\right)\left(b+c\right)\left(c+a\right)}\)

Điều này tương đương với \(\sqrt{a}\left(b+c\right)+\sqrt{b}\left(a+c\right)+\sqrt{c}\left(a+b\right)\ge6\sqrt{abc}\left(5\right)\)

Theo bất đẳng thức AM-GM thì (5) luôn đúng

Dấu "=" xảy ra khi (1);(2);(3) và (5) xảy ra dấu "=". điều này tương đương với a=b=c

Vậy ta có điều phải chứng minh

=))

Theo hệ quả của bất đẳng thức Cauchy

\(\Rightarrow a^2+b^2+c^2\ge ab+bc+ca\)

\(\Leftrightarrow\dfrac{a^2}{2}+\dfrac{b^2}{c}+\dfrac{c^2}{c}\ge\dfrac{ab}{2}+\dfrac{bc}{2}+\dfrac{ca}{2}\)

\(\Leftrightarrow a^2-\dfrac{a^2}{2}+b^2-\dfrac{b^2}{2}+c^2-\dfrac{c^2}{2}\ge\dfrac{ab}{2}+\dfrac{bc}{2}+\dfrac{ca}{2}\)

\(\Leftrightarrow a^2+b^2+c^2\ge\dfrac{a^2+b^2+c^2+ab+bc+ca}{2}\)

\(\Leftrightarrow a^2+b^2+c^2\ge\dfrac{2\left(a^2+b^2+c^2+ab+bc+ca\right)}{4}\)

\(\Leftrightarrow a^2+b^2+c^2\ge\dfrac{\left(a+b\right)^2+\left(b+c\right)^2+\left(c+a\right)^2}{4}\) (1)

Áp dụng bất đẳng thức Cauchy - Schwarz

\(\Rightarrow a^2+b^2\ge2\sqrt{a^2b^2}=2ab\)

\(\Rightarrow\left(a+b\right)^2\ge4ab\)

Tương tự ta có \(\left\{{}\begin{matrix}\left(b+c\right)^2\ge4bc\\\left(c+a\right)^2\ge4ca\end{matrix}\right.\)

\(\Rightarrow\left\{{}\begin{matrix}\left(a+b\right)^2c+\left(a+b\right)^2\ge4abc+\left(a+b\right)^2\\\left(b+c\right)^2a+\left(b+c\right)^2\ge4abc+\left(b+c\right)^2\\\left(c+a\right)^2b+\left(c+a\right)^2\ge4abc+\left(c+a\right)^2\end{matrix}\right.\)

\(\Leftrightarrow\left\{{}\begin{matrix}\left(a+b\right)^2\left(c+1\right)\ge4abc+\left(a+b\right)^2\\\left(b+c\right)^2\left(a+1\right)\ge4abc+\left(b+c\right)^2\\\left(c+a\right)^2\left(b+1\right)\ge4abc+\left(c+a\right)^2\end{matrix}\right.\)

\(\Leftrightarrow\left\{{}\begin{matrix}\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}\le\dfrac{8}{4abc+\left(a+b\right)^2}\\\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}\le\dfrac{8}{4abc+\left(b+c\right)^2}\\\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}\le\dfrac{8}{4abc+\left(c+a\right)^2}\end{matrix}\right.\) (2)

Từ (1) và (2)

\(\Rightarrow VT\ge\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}+\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}+\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}+\dfrac{\left(a+b\right)^2+\left(b+c\right)^2+\left(c+a^2\right)}{4}\) (3)

Áp dụng bất đẳng thức Cauchy - Schwarz

\(\Rightarrow\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}+\dfrac{\left(a+b\right)^2}{4}\ge2\sqrt{\dfrac{2}{c+1}}=\dfrac{4}{\sqrt{2\left(c+1\right)}}\)

Tương tự ta có \(\left\{{}\begin{matrix}\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}+\dfrac{\left(b+c\right)^2}{4}\ge\dfrac{4}{\sqrt{2\left(a+1\right)}}\\\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}+\dfrac{\left(c+a\right)^2}{4}\ge\dfrac{4}{\sqrt{2\left(b+1\right)}}\end{matrix}\right.\)

\(\Rightarrow\dfrac{8}{\left(a+b\right)^2\left(c+1\right)}+\dfrac{8}{\left(b+c\right)^2\left(a+1\right)}+\dfrac{8}{\left(c+a\right)^2\left(b+1\right)}+\dfrac{\left(a+b\right)^2+\left(b+c\right)^2+\left(c+a^2\right)}{4}\ge\dfrac{4}{\sqrt{2\left(c+1\right)}}+\dfrac{4}{\sqrt{2\left(a+1\right)}}+\dfrac{4}{\sqrt{2\left(b+1\right)}}\)(4)

Áp dụng bất đẳng thức Cauchy - Schwarz

\(\Rightarrow\sqrt{2\left(c+1\right)}\le\dfrac{c+3}{2}\)

\(\Rightarrow\dfrac{4}{\sqrt{2\left(c+1\right)}}\ge\dfrac{8}{c+3}\)

Tượng tự ta có \(\left\{{}\begin{matrix}\dfrac{4}{\sqrt{2\left(a+1\right)}}\ge\dfrac{8}{a+3}\\\dfrac{4}{\sqrt{2\left(b+1\right)}}\ge\dfrac{8}{b+3}\end{matrix}\right.\)

\(\Rightarrow\dfrac{4}{\sqrt{2\left(c+1\right)}}+\dfrac{4}{\sqrt{2\left(a+1\right)}}+\dfrac{4}{\sqrt{2\left(b+1\right)}}\ge\dfrac{8}{a+3}+\dfrac{8}{b+3}+\dfrac{8}{c+3}\) (5)

Từ điều (3) , (4) , (5)

\(\Rightarrow\dfrac{8}{\left(a+b\right)^2+4abc}+\dfrac{8}{\left(b+c\right)^2+4abc}+\dfrac{8}{\left(c+a\right)^2+4abc}+a^2+b^2+c^2\ge\dfrac{8}{a+3}+\dfrac{8}{b+3}+\dfrac{8}{c+3}\) ( đpcm )

\(a\left(b-c\right)\left(b+c-a\right)^2+c\left(a-b\right)\left(a+b-c\right)^2=\)\(b\left(a-c\right)\left(a+c-b\right)^2\)

\(\Leftrightarrow\)\(a\left(b-c\right)\left(b+c-a\right)^2+c\left(a-b\right)\left(a+b-c\right)^2-b\left(a-c\right)\left(a+c-b\right)^2=0\)

Đặt:

     \(\begin{cases}a+b-c=x\\b+c-a=y\\a+c-b=z\end{cases}\)\(\hept{\Leftrightarrow\begin{cases}a=\frac{x+z}{2}\\b=\frac{x+y}{2}\\c=\frac{y+z}{2}\end{cases}}\)

\(\Leftrightarrow\)\(\frac{x+z}{2}\left(\frac{x+y}{2}-\frac{y+z}{2}\right)y^2+\frac{y+z}{2}\left(\frac{x+z}{2}-\frac{x+y}{2}\right)x^2-\frac{x+y}{2}\left(\frac{x+z}{2}-\frac{y+z}{2}\right)z^2=0\)

\(\Leftrightarrow\frac{x+z}{2}\times\frac{x-z}{2}\times y^2+\frac{z+y}{2}\times\frac{z-y}{2}\times x^2-\frac{x+y}{2}\times\frac{x-y}{2}\times z^2=0\)

\(\Leftrightarrow\frac{1}{4}\left(x+z\right)\left(x-z\right)y^2+\frac{1}{4}\left(z+y\right)\left(z-y\right)x^2-\frac{1}{4}\left(x+y\right)\left(x-y\right)z^2=0\)

\(\Leftrightarrow\frac{1}{4}\left[\left(x^2-z^2\right)y^2+\left(z^2-y^2\right)x^2\right]-\frac{1}{4}\left(x^2-y^2\right)z^2=0\)

\(\Leftrightarrow\frac{1}{4}\left(x^2y^2-z^2y^2+x^2z^2-x^2y^2\right)-\frac{1}{4}\left(x^2-y^2\right)z^2=0\)

\(\Leftrightarrow\frac{1}{4}\left(x^2-y^2\right)z^2-\frac{1}{4}\left(x^2-y^2\right)z^2=0\)

Vậy \(a\left(b-c\right)\left(b+c-a\right)^2+c\left(a-b\right)\left(a+b-c\right)^2=\)\(b\left(a-c\right)\left(a+c-b\right)^2\)

Lời giải:

Ta có:
\(a(b^2-1)(c^2-1)+b(a^2-1)(c^2-1)+c(a^2-1)(b^2-1)\)

\(=a(b^2c^2-b^2-c^2+1)+b(a^2c^2-a^2-c^2+1)+c(a^2b^2-a^2-b^2+1)\)

\(=(ab^2c^2+ba^2c^2+ca^2b^2)+(a+b+c)-[a(b^2+c^2)+b(a^2+c^2)+c(a^2+b^2)]\)

\(=abc(ab+bc+ac)+abc-[ab(a+b)+bc(b+c)+ca(c+a)]\)

\(=abc(ab+bc+ca)+4abc-[ab(a+b+c)+bc(b+c+a)+ca(c+a+b)]\)

\(=abc(ab+bc+ca)+4abc-(a+b+c)(ab+bc+ac)\)

\(=abc(ab+bc+ca)+4abc-abc(ab+bc+ac)=4abc\)

Ta có đpcm.